update on ThingML content