Get rid of a deprecated warning