Further additions to the documentation