fix xml for #13235