Fixing a typo in INSTALL