Fix a minor bug in install_repos.sh