Fix coverage in CircleCI