Minor fix.

This commit is contained in:
2013-04-10 12:48:08 +02:00
parent 5000f333c9
commit 89a311eeb4