This const_cast is unnecessary.