Documentation refinements