get rid of an undesired warning