Changes by: Aleksey Nogin (nogin at cs.caltech.edu) Date: 2003-07-30 02:00:11 -0700 (Wed, 30 Jul 2003) Revision: 4789 Log message:
Minor code clean-up.