I think it's just that the stock date format string is designed for monospace terminals, and we're just borrowing that stuff for the clock. -- GNOME Clock has duplicate 0x20's on single-figure dates https://launchpad.net/bugs/74670