It was not a 3:58, you were looking at the finish line for the first mile. The BBC announcers correctly told the split to be 4:03.
Did anyone see Lagat's final time? I would have loved to have had Koetch out of the way earlier to see Lagat try and go a little longer with Farah.