extraneous line in times.py removed