Fix magic test in BDD