hm, that's embarassing. You're right, of course