Avoid (useless) const_cast<>.