Correct a few write-ups