small fix in INSTALL