Renamed FormattingKernel to just Kernel