Fixed a naming issue in get_timestamp