Changes by: Aleksey Nogin (nogin at cs.caltech.edu) Date: 2002-12-25 17:01:51 -0800 (Wed, 25 Dec 2002) Revision: 3975 Log message:
Minor clarification.