When DST changes, users occasionally notice the dimmed DST check box changes, but the clock does not roll back (or forward) an hour.
The solution is to set the time manually, or force a network time synchronization.
This issue is fixed in the next update of the Mac OS.