another fix to publish coverage results