Undo one mistake in previous commit.

The grammar correction was wrong.  I mistook this for something else
and meant to undo my change earlier!