Fix name of StaticRandom class.