fix indent in bini.h