Editing: KernelEvent.php