minor fixes to the websocket server