The name Haiti (or ''Hayti'') comes from the indigenous Taíno language which was the native name given to the entire island of Hispaniola to mean, "land of high mountains." The ''h'' is silent in French and the ''ï'' in ''Ha'''ï'''ti'' has a diacritical mark used to show that the second vowel is pronounced separately, as in the word ''na'''ï'''ve''. In English, this rule for the pronunciation is often disregarded, thus the spelling ''Haiti'' is used. There are different anglicizations for its pronunciation such as ''HIGH-ti'', ''high-EE-ti'' and ''haa-EE-ti'', which are still in use, but ''HAY-ti'' is the most widespread and best-established. The name was restored by Haitian revolutionary Jean-Jacques Dessalines as the official name of independent Saint-Domingue, as a tribute to the Amerindian predecessors.