delta4 changes to the report: added eqn of coverage etc