I hadn't noticed. The op has been there for a long time, and Zbyszek keeps moving... I have already changed it, it will show up in the next release, and in the CVS server in a while.