fix minor issue in the server setup