minor wording changes for BDD convention