Tiny bugfix