fixed get_timestamp(), resolves #46