bugfix

- small trivial bugfix