Performance and bugfix for WebSockets