Minor clean-up: extr had false problem statistics, JacobsenDbg had out
of bound indices in the data section (which were apparently ignored),
changed indentation