Enhance documentation for bdd-module.