small fix

This commit is contained in:
Volker Fischer 2012-01-22 13:46:15 +00:00
parent e31c59e0f2
commit b5e47ed9b5