Small fix to documentation.