Minor improvements to INSTALL.md