Updated writeup.