fix inadvertent debugging output in websockets