Fix loop in kernel