Fix cut-and-paste typo error.