Trivial typo correction.