decode utf8 strings in Options, to address #1710