Some fixes to make the documentation more comprehensible.