I discussed this change with him. He was the one who suggested this fix.