quieting an annoying benign warning