Fixing coverage annotations