Skip whitespace after a command terminator.

This allows code elsewhere to correctly assume that there's no leading whitespace.