minor formatting changes in the plugin.xml