Fix an old typo