Fixing typos in BDDBasic