bug in to_char(timestamp, text) for times between 12:00 and 14:00

There seems to be a bug in 7.0.2 in the to_char(timestamp,text) function
when one uses the "am" or "pm" template for times between 12:00 and 14:00:

template1=# select to_char(timestamp '2000-01-01 13:00:00', 'HH12:MM pm');
 to_char
----------
 01:01 am

Any times between 12:00 and 14:00 show "am" rather than "pm".  It shows
"pm" correctly for 14:00 and later.

My apologies if you've already addressed this, I haven't searched the
lists to see if it's already been reported.
---------
Sam Hokin ..... mailto:sam@bsharp.org .... http://www.bsharp.org/sam