Correct typo in Denise's writeup.