With @evz, fix copy-and-paste-o in INSTALL.md.