minor changes to server.js