fixes to exception handling

* caught exception objects are deleted automatically
* final clause runs *after* handler clause