Fix documentation labels
Merge pull request #464 from emmanuel-keller/master

Fix documentation labels