Replaced minstd_rand engine by mt19937 engine. (Minor change.)