minor cleanup on server.js