Fix typo in SpecBDD section.