Corrections to section 'Dealing with exceptions'