thanks, that's a subtlety I missed.