And another tiny bugfix