Tweak to INSTALL file