Merge pull request #1029 from nicolasdespres/fix-doc-typo

Fix typo.