Fix type of websocket event