Small fix to docs