Fixed minor typos in INSTALL