typo in thm:trans-prod
Errata for dfc3248, unmarked
Merge pull request #489 from TimRichter/typothm264

Typo thm:trans-prod