further documentation refinements