Vettel pitted, Hamilton does the following lap and now Vettel is back ahead of him.