Delete lines 39 and 40. It's ok to set this from RandomStream, and if it wasn't then a great alternative would be to add a method.