Fixing coverage execution