fix specifying of server port, that I broke