Silence a verbose warning