Re: Patrick R
The point we were trying to make is that although Vettel was ahead of Hamilton, the Ferrari driver had yet to pit so wasn't really 1st. However, due to the timing cockup, Vettel was able to maintain pole position anyway.
I've tweaked the article to make it clearer.
Don't forget to email corrections@theregister.com if you spot anything you think is wrong. We see those instantly, whereas we don't have time to read through every comment - there are thousands a month.
C.