bug fix in INSTALL file