Trivial bugfix.