final version of random-numbers; fixed some typos