Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2007-03-01 14:14:24 -0800 (Thu, 01 Mar 2007)
Revision: 10132
Log message:

      Maximal prefix is based on the _minimum_ length, not the maximum.