convert the port to a string

See #7072