bugfix (Matthias)

No match.