fix issue #8: use unicode string