fixed tests by adding fact