Changes by: Jason J. Hickey (jyh at cs.caltech.edu)
Date: 2007-08-13 12:57:11 -0700 (Mon, 13 Aug 2007)
Revision: 11962
Log message:

      Still more minor formatting.