Fix previous commit.

This commit is contained in:
Milan Broz
2013-12-08 18:15:00 +01:00
parent d7762c09dd
commit 2d755335de