Some docs refinements