Fixing BDD