minor style fix

This commit is contained in:
Wenzel Jakob 2017-03-22 22:52:29 +01:00
parent d405b1b3a4
commit 0d92938f74