Reverted previous typesetting change