Fix bug in randpool_init.