OK I see, the comment is wrong. I deleted it.