Merge: Improve documentation of kernel