[MRG+1] Inconsistencies for the kernel documentation #2901 

Documentation improvements. Contributions made in the context of the Bloomberg Open Source Day. 
Never mind, I haven't had my coffee yet.