small changes to writeup