documentation refinements