trivial bugfix