Fix server port number