some fixes in coverage script