The element <excludedModification> contains an indication that the modification is not covered even though it was actually required.