re #10139 small bug fix