Provisional final version.