eliminate duplicate definition of String.first