Каким образом император Феодосий Младщий оказался везде "Феодосием Малым"? А что, есть "Феодосий Большой" (а не Феодосий Великий)?