fixed minor websocket bug