Get rid of a warning