Fix some INSTALL.txt typos