BDD: fix minor CS issue