Simplify. This function bails out a few lines above if !Found.empty().