Bug fix for plugin manager