Some minor documentation refinements.