Obvious fix (hopefully a typo)