fix #24951: corrections