Fix an error in the last commit