Fixing doc typos in Kernel