Minor clarification in INSTALL file.