Another little fix