Remove spurious warning