[utils] minor bugfix
[util] minor adaptation in str export