Not reviewed, fixing trivial typo.