Update src/interesting_fact.txt