Various syntax fixes in INSTALL.rst