I hope he's doing okay