correct a typo

On saving the corrected version, my editor removed some whitespace. I can undo that if you wish.