Fixed Kernel namespace