small fix

This commit is contained in:
Petr Korolev 2014-11-07 18:37:10 +02:00
parent 502ae431b7
commit 2db69dd27c