Fix a few typos and leftovers around external facts