Fix BR #9721
minor fix