Minor punctuation improvements in the writeup