Update INSTALL.md

More slight improvements.