Replace spurious whitespace character with space

Either I'm just being OCD, or this is causing problems with a gradual typing tool we're working on :)