another trivial bugfix