Fixing the reload mechanism in the plugin manager.