Some small additions to documentation