fixes in AppKernel.php, comments