fix #38976

No auto tester update: this is not detected by the auto tester.