Tweak INSTALL.md