Trivial bugfix