Fix synopsis in time.txt.