Fixed typo introduced in 5736d25bb393

2018-02-28, Edouard Tisserant