re-enable coverage 4

The problem with coverage 4 has been fixed in previous PR.