Fix 8506: randi -> rand(1:n)