Typographic changes until Sec. 5.2