Small fixes in util/binary