Small fix to documentation