trace2: correct typo in technical documentation