fix a type redefinition error