more doc refinements