UPDATE: debug output for port number