fix coverage reader bug