BDD local changes