Document cartesian cvc + small doc fixes