fix warning about redefinition