doc/dev-manual: Fix typo
Merge pull request #936 from nbraud/doc

doc/dev-manual: Fix typo