Fix the return type of times.