Some fixes in facts.jq