Fix typo in SpecBDD section.
Merge pull request #1 from davidwinter/patch-1

Fix typo in SpecBDD section.