Correction of exception specifications