Typo in the proof of theorem 2.6.4

The second `transport^A` should be a `transport^B`.