adding missing fact