docs and WebSockets fix