small prettification
Authored by: Jean-Francois Dockes 2018-05-31
Parent(s): [fbcbfb]
Child(ren): [7c7eaf]