finally fix that typo

This commit is contained in:
Tobias Hintze 2016-08-17 14:03:17 +02:00
parent ff290d80b5
commit 9b7e282d52