Update writeup typos