Actually, don't write the warning to stderr, it's _only_ a warning, not
an error.