Small fix, probably the smallest possible

This commit is contained in:
Toon Claes 2009-10-30 18:15:45 +01:00
parent ce82e6ff7a
commit ea57faa28a