fixed bug in zerocoverage