minor refinement in Binary example