renamed WebSocketSocket to WebSocket