Update INSTALLATION.rst