minor style fix

This commit is contained in:
Wenzel Jakob 2017-03-22 22:52:48 +01:00
parent ef046a395b
commit ad9d574c85