Minor fix to XML workaround.