Editorial fixes See merge request specifications/tr-0076!3
mentioned in commit c6750760
mentioned in commit b433a415