PHPDocs, AppKernel fix