Update tml-specification