Tweak to wrappers_kernels.c