close #464
unmarked errata for 6531437
Merge pull request #472 from mikeshulman/hitrezk

Fix the construction of the Rezk completion as a HIT