Small fix in INSTALL.rst