Karel Kernel, small modifications