A couple of tweaks in the bdd appendix sources. thanks @amatellanes.