Small fix for the doc