Another try to fix the coverage testing.