Fix typo, and update timelag header #200