Correction of exception specification bis