Small fix for the documentation