Fix bad typo. I wonder how nobody got this