Yup, you are right. Using time_changed() there, would make the algorithm much better. I fixed this in latest commit.