Add a phase4_done(), matching phase4_init(), though it currently does nothing.