minor whitespace change

This commit is contained in:
Araq 2016-05-10 21:54:33 +02:00
commit 33aeadab73