Old military habits die hard, so I prefer all time & date formatting on my Mac bein in 24-hour format. So I changed it as directed, including the format in the International panel, and everything displays in 24-hour format...except Safari. When it either prints a document with the date/time stamp, or displays a document that has a time stamp (like an RSS feed) it displays in 12-hour format, with AM or PM. It still places the leading zero. Does anyone know if this is a bug, or how to change it?