Fix typo in documentation (thanks Jean Favre).

Change-Id: I65a3e310577c11d79e97b25627c31cd70fe81400
Merge topic 'fix_documentation_typo' into next

7641997a Fix typo in documentation (thanks Jean Favre).