FIXED: The new cardinal DCGs are not quite there yet. Quick fix for now.