Respecto a la toponimia de los mallos pequeños hay que destacar que Julio Soler Santaló, en un artículo para el boletín de 1911 del Centre Excursionista de Catalunya, recoge el topónimo "los Galochos" para lo que hoy conocemos como mallos pequeños.