Yes, I have seen the post commits that this is addressed here: https://github.com/turing-machines/bmcd/pull/78