Fix a typo in the cat-timing-files script