Wrong time formatting distorts layout on 5.1

[bhaak]

Updating to 5.1 tonight, I saw that the program now uses 12-hour time formatting (even though I of course have set it to 24-hour in my settings).