Test case and fix for notCaught3 in #658