fix a warning in plugin.xml generation