Remove stray semicolon in get_log_timestamp().