Thanks Andrew M for emailing me to point out the typo.