Additions to documentation