Update INSTALLATION.md

Thanks to Dan for pointing out an error.