Fix henry repo