editing the PluginManager