Minor additions to documentation.