Fixed URL_toString to report correct port number.