Freeview clocks?

Anyone else in the UK noticing that their Freeview box is still running on BST, not GMT? I've got two, and both are doing this - they switched from GMT to BST correctly, WTF aren't they changing back? I suppose I'd better check out the BBC website etc...

Later: Finally went to the right time some time in the last hour or so (between 2 and 3). I wonder how many thousand people have had video recordings screwed up as a result.