Fix a typo in INSTALL.md