harmonize with dmc++ back end

Merge some inconsequential differences.