Another little bugfix