Minor formatting change for retext.