Fixed a weird typo from cutting and pasting