A closer look at the format_timestamp() function