fix some formating typos in INSTALL