Refinements to documentation