Fix bug in websocket implementation