bugfix: using bit_max65 instead of bit_max