Minor style fix

This commit is contained in:
sin 2015-05-07 18:04:01 +01:00
parent c2bb9e106a
commit 316a486533