More documentation refinements.