Minor additions to docs