Minor update to the `INSTALL.md` file