Comment `time of last modification` is outdated.