Bump 'random'
Workaround haddock problem