fix typos in INSTALL file