fixed #454: Fix: handle unhandled exceptions