Well I do remember getting some TDRs a few months ago (maybe this was the cause then), but it’s been quite a while since I’ve had one. And I’m using 13.4 now. So I’m fairly sure everything is all right.