Correcting for true randomness