Yet another fix to the doc