fix bolding bug in StackMachine.dump