Further refinements of documentation.