Fixed bug with server port number display in some cases.