Indeed, you are right :-)