Use default port for server

Minor tweaks