Small fix, probably the smallest possible

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