A correction within random_pseudo_bytes().