Whitespace cleanup in server.js.