minor cleanup in server.js