Update KernelPlugin.php