Corrected INSTALL.txt.