Get rid of redefined warning