editorial fix in INSTALL.md