minor correction in INSTALL