Avoid non-breaking space in terminal

Maybe this fix applies to other editors too. Who would have guessed it was that easy (Alt + Space) to enter a non-breaking space in the terminal, and that it would be interpreted differently from a normal space...