Nitpicking in writeups of phase 2 and phase 5