fix port number for web sockets