Trivial patch to fix an obvious typo.