Doc fix to INSTALL.md