remove use of DbC term
Merge pull request #534 from WalterBright/meyer

remove use of DbC term