Section heading renamed by revisor.