exception diagnostics (tested and fixed)