Fix coverage script