Fixed #5701 (FP for std::unordered_map::operator[]; there is no const version)