Fix the <spec-idl> element.