got rid of that PortNumber class