Part added by revisor.