Changes by: Aleksey Nogin (nogin at cs.caltech.edu) Date: 2004-02-24 01:01:27 -0800 (Tue, 24 Feb 2004) Revision: 5402 Log message:
Minor documentation fix.