fix bug in utilities's dump