minor fix, #23646