Editing: exception.stub