Correct empty coverage result