Fix a type in section 2.14.2, close #442
errata for f50dcf3 (unmarked)
Merge pull request #443 from mikeshulman/transsemigrp

Fix a type in section 2.14.2, close #442