some additions to documentation