The example's not wrong or even surprising if you understand that the timestamp type converts strings without an explicit timezone to local time, not GMT. The example assumes you've read the manual's explanation of how string to timestamp conversion is performed.