Oops, fix a name in the coverage script