Fix two minor issues in install.sh