Fix AppKernel.php addition #2