a fix for an issue in plugin.xml

fixes issue #41