More documentation of exception handling, including corrections of earlier incorrect stuff.