Is there a reason the 12 hour format needs to have a leading zero? This is not common, at least for the US.