Minor fix for plugin manager.