Slight code improvements
Fix INSTALL file