Minor wording changes in develop_server.sh