Work on doc
Fix #3

I have no clue why this is a pb, and I can not reproduce it,
but the change is correct and trivial so I merge this pull request.