correct default port number