Get rid of a warning.