Minor fixes to install.py