We should all thank him - that's a dumbass groundrule and the umpires should have discretion to say the runner would have scored there since he obviously would have. When it's changed, we can all remember this as why.