Fix the width of the bytecode counter on the info panel