Changes by: Aleksey Nogin (nogin at cs.caltech.edu) Date: 2001-07-02 15:46:40 -0700 (Mon, 02 Jul 2001) Revision: 3308 Log message:
Fixed a minor bug.