Minor tweak to websocket timeout.