Adjust further in response to jan.h.d's comments.
authorPaul Eggert <eggert@cs.ucla.edu>
Sat, 6 Aug 2011 01:10:24 +0000 (18:10 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Sat, 6 Aug 2011 01:10:24 +0000 (18:10 -0700)

No differences found