Another little bug has been fixed