Randomness: fix dumb typos