Oops.  My editor (read me) didn't make clear which comments were mine and
which were Mike Machnik's.  Sorry.
CMM