[util] bugfix in DIC2TXT converter
[util] minor bugfix