fix #24951: fix warning