MachineJobShop and RandomNumberGenerator Correction