remove spurious warning