Small fix to the documentation