Another tiny bugfix