some updates to the writeup