fixed typos in INSTALL