Some additions to documentation.