You are right, Teper. I guess it was overlooked. Thanks for pointing it out!
(Btw, every post has a "Report to moderator" link at the lower right corner; if you use that, stuff will be taken care of even faster, because it'll be easier for us to see.
)