Slight change to plugin.xml