Fix bug in setting up servers with just a port