Doc improvement
Merge pull request #673 from emmanuel-keller/master

Doc improvement