more minor changes to server.js