Removed reference to BDD.