KernelInitialiser now fixes returns