It is weird: I changed this and your comment still do not appear as outdated.
Worse: the old version is still displayed above.