very small fix

This commit is contained in:
Volker Fischer 2008-10-27 16:41:08 +00:00
parent 8573cd0f6b
commit d72746279d