Shell time does not update to 12 hour

The time displayed in the shell's top panel does not update to 12 hour time despite the system settings module saying it's set to that. Checking in the console shows that it at least says it set it to 12 hour time, so the toggle setting is working.