Fix an overfull hbox in the proof of Theorem 7.2.2.

See issue #330.