Minor docn tweaks