tokens.cc: fix bug in extra_bits calculation (now matches dixie)