Fix randomfacts.