Fixing the AppKernel