Fix Github issue #1: additional spaces in the server log.