Just another small typesetting change
Just another small typesetting change
Removing another orphan: