Fix doc

I suggest this minor fix about issue #6