Oh god that sucks, and must have been incredibly unlucky. So the safety car came out in the period that they were between pit entrance and exit, which must only be about 15 seconds or so? Feel sorry for them, really wanted them to do well after leading it for so long, and just being up at the sharp end in the first place!
Cheers for explaining.