Minor heading and indent change.