Removed unnecessary function parameter in ReadFactsFile().