Small cosmetic change to enhance readability and avoid confusion.

2018-10-23, Edouard Tisserant