INSTALL doc tweaks