I am grateful to Sergio Dain for pointing this out to me.