Fix formatting in INSTALL.rst