pickrand.py: fix off-by-one