Small whitespace fix for #238

This commit is contained in:
Florian Bruhin 2014-11-02 20:04:41 +01:00
parent 2bbce74ce1
commit 7b670b134d