Typification of the name Lavatera agrigentina (Malvaceae)