Fix bad English

“To introduce” does not mean the same thing as the Spanish “introducir”.