Fix a bug in the MT19937 kernel.