Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2006-01-10 13:27:50 -0800 (Tue, 10 Jan 2006)
Revision: 8444
Log message:

      Minor changes as I try to understand the problem with label
      munging.  I am beginning to believe that the label erasure
      is probably due to the UI, and the labels are actually "main".
      
      So the problem may be that multiple "main" labels are
      appearing for some reason.  Still tracking down.