Clean up formatting of the INSTALL doc