Small correction for mathsat.