Small corrections in the construction of quotients via Rezk completion