Fixed small errors. Adding facts to KB works.