Brief comments / additions to docs