Fix silly whitespace added by Mono