Fix minor facts