I think this should take care of #168.

(There was a bug in the code that affected the interpretation of time
bounds in a file specified using the -time_file option.)