Fix default argument of get_relevant_facts()