Hotfix in the doc