Hotfix for websocket_send