INSTALL.md: more minor changes