fixes #37 #82: encode trace message