constness fix, re #8085