minor tweaks to INSTALL.md