get rid of spurious warning