fix coverage reporting