Fix cut-paste bug in to_timestamp().