decode utf-8; fixes #33