Fixes a typo in websocket server