Kelly's been added to the 40-man roster, but not yet to the 25-man, so something will have to be done (unless they're going to option him to AAA, but per Klentak comment reported by Montemurro (see tweet below), they intend to add him to the active roster) - most probably, Leiter is headed back to AAA.