More modifications to the writeup