Fix random_var_function