fixed typo in writeup