updated the doc (and Séverin was right again)