[[ Bugfix 13511 ]] Fix a typo in the Win32 time formatting code