Minor rearrangements to improve TeX line-filling.