Several fixes in TBX conformance docs