bugfix in bin.java