Minor fix in PluginLoader.php