Some more documentation refinements