Bdd example fixes