ConsoleInput.prompt() adds extra space

[wasamasa]

ConsoleInput stdin;
stdin.prompt("prompt> ");

Anything typed in has an extra space after the space of the prompt string. This is highly unexpected as it's different from anything else out there, see Python's input function for an example not adding an extra space.