Update CSumsReals.v

fixed a minor typo