fixes inconsistent formatting in previous commit

This commit is contained in:
Martin Weinelt 2017-04-04 19:24:31 +02:00
parent 2cb4c4681a
commit 2e26aa25ee