Some tweaks to the kernels doc