Fix a funny typo. Thanks to Aaron Ballman for noticing.