Minor fixes to installation process