Good catch. This would have confused the somebody down the line...