GP Infobox and timezones

As with the thread in RC, this confused me.

I live in Ireland which until Saturday night was on British Summer Time (GMT+1).

The box therefore gave me the start time of the GP for the timezone GMT+1. However, by the time the GP started, Ireland's timezone moved to GMT and hence the time the race started was 9.30 GMT.

I'd imagine this confused a lot of people. The worst thing though is that the info box didn't specify for which timezone that 10.30 referred. I assumed as did others that it was for GMT as Ireland and UK would be GMT by the time the race started. However, unlike others, I checked other sources first.

Any chance of specifying the timezone that the times refer to in the box from now on if it's not too much trouble ?