Typo correction in INSTALL.txt