Clarify some BDD documentation