Users must specify a port number