fixed documentation bug

2018-08-13, Edouard Tisserant