Fix typo in \setrandom document.

Fabien COELHO