Correct a bug in the install.sh script