Fixes coverage annotations