Minor change to server.sh