Oh, I never noticed that. In that case it is of course useless.
Thanks for pointing that out.