Corrected: tilda to vector in Cov (operatorname bug)