small fix, #10855