Update Random.h