More revisions to docs