catch prev. uncaught exception, coverity issue 1121925