Correct typo

Some changes to the INSTALL.txt