Edited RandomProxy.cs