another tiny bugfix