minor fix to plugin.xml