Add some missing facts