Correct typo-catching typo

Comment seems to indicate this is necessary.