INSTALL.md: fix copy-pasting.