get rid of a warning