Jormungandr: handle empty coverage in stats