Timeline header: How to set 24-hour clock?

I can’t find where to set the Timeline header to 24-hour clock. Currently it is showing am/pm time. Events, etc. are using the 24-hour clock.

The Time Format is set to “24 hour” in Timeline Settings/Calendar & Date.

Hi Marc,
This might be an oversight that we just missed when adding the switch for 12 vs 24 hour time.

I will add it to our list to fix.