INSTALL.md: fix copy-pasting.

[SKIP CI]