Make warning a proper warning, not a print-to-stdout side effect.