Fixed small bug that caused duplicate timexes in output + typo fix in names.py.