I think the two tests already ensure that.