Small style tweak in server.js