fix a redefinition problem