updated example in tina format