small improvements of the plugin system