Typo in INSTALL