Re #8365 Fix the XSD of the IDF.