Fix the construction of the Rezk completion as a HIT

close #464