fix coverage gathering