bugfix in plugin-set