fix the server port