Tweaks to the writeup