Docs update

Fixes #1014 raised by @erwanm