Fixing a minor bug in plugins