cleaned up the writeup