fix redefinition