Fixed bug concerning str/int treatment of port number.