minor change in real_facts.asp