Changed default kernel, now rk4 !