Some updates to the writeup