rename Websocket to WebSocket