Correct typo in proof that VCV is psd

The proof that variance covariance matrices are positive semidefinite had a typo that
this commit corrects.