Fix coverage annotations