Fixed doc typos in Kernel and Record