some additions to the documentation