Good catch. This would not just make sense, it is necessary.