Иностранец, ставший россиянином

Девочки, кто уже столкнулся с иностранными работниками, которые после присоединения Крыма стали россиянами? У нас есть один сотрудник, украинец, который после того, как съездил в отпуск привез российский паспорт. Какие действия мы теперь должны предпринять, чтобы он "не пропал" как иностранный работник? Нужно ли какие-то уведомления слать в УФМС? У него разрешение на работу еще действует, есть срочный договор. Теперь, наверное, надо будет допсоглашение делать, что он работает бессрочно? Есть какой-то правильный алгоритм действий? Пока никакой информации не нашла. Заранее благодарна.