minor style fix

This commit is contained in:
Wenzel Jakob 2016-10-28 01:23:42 +02:00
parent 496feacfd0
commit 030d10e826