Minor style correction in INSTALL.md