Small formatting tweak

This commit is contained in:
Maxime Coste 2017-05-26 08:38:12 +01:00
parent 11f924c528
commit 2307cf500c