Fix typo in INSTALL