I meant `secure_websocket`. It was not used in websocket.js, so I fixed it before merging.