minor change in BinaryDg.js