Typo in INSTALL files