Minor changes in TBX format docs