Fixes to INSTALL.md