Fixed typo in get_websocket_port()