INSTALL.rst: fix formatting