WebSocketProtocolV13: bugfix