hdtv.avi is there such a thing? I mean hd refers to high resolution. Which should be over 1000 pixels each way (I can't remember off hand. There's more than one hd format anyway; several)
I could only suggest to ignore those particular ones. Unless other members have any suggestions.
*** was a great series by the way! I most enjoyed it!