Fix an error due to a shadowed identifier