The link where I got the info from is on the post you have just quoted....
But thinking about it, it was probably taken in Euros from when it happened and then transfered back to GBP, which is probably where the difference comes from. Does it really matter anyway!?