server: whitespace fix