try to fix a bug on redefinition