corrected some wording in the BDDs