fix build error caused by #11900.