Updated websocket definitions