Fix regression of #10038 introduced by #13772

Fix regression of #10038 introduced by #13772.