Updated coverage annotations