This patch fixes a minor bug that mcheck picked up.  I don't know if
it ever causes problems in practice.

   -Ken