Somme little documentation improvements

See commits for details.