Fixing bug from a typo