Fixed Kernel page formatting