minor fix in BinNode