fixed type conversion in dump_transition_stats.py