Minor formatting edit.