Minor formatting changes in server.js