tagui: oops... conversion to json format was not thoroughly tested (two silly bugs)