Hm - I am surprised by this as well. I don't understand why this should be. Anyhow, then lets keep your version.