Comment 6 for bug 580735

Keeps happening. Also i found out you do not have to log off and on again. Going to preferences and toggling 12-hour format and back to 24-hour format also seems to "refresh" the clock and then it is functional again.