DOC: fix a few typos in INSTALL.txt