Did this actually work? Search for "catch_warnings" and you'll see our
standard way of handling it.