Fix a type error + a redefinition.