cleanup: dict as get_times() return value