+ avoid unnecessary const_cast<>