typo in INSTALL