Ok thanks for the explanation, I didn't see the subtlety here