Fix the Kernel constructor.