Si la denominación históricamente más correcta del nuevo municipio debiera haber sido Estavillo, lo cierto es que por aquel entonces Armiñón había superado ya sobradamente a Estavillo en importancia y población, lo que provocó la adopción del nombre de Armiñón para el municipio.