small formatting tweak

This commit is contained in:
Maxime Coste 2014-10-26 20:21:01 +00:00
parent 2213f98176
commit 992c74a06d