Improve --dumpcases.