Minor bugfix

No match.