display the port number number correctly, other minor optimisations
1 file changed