Updates a typo in the writeup. Now more self-consistent.