Comment on Time Tagger

The bugs reported by brh were fixed in version 1.2