final versions changed at report-writing