Fact addition bugfix