Minor changes and corrections to INSTALL.txt