Corrections in writeups