En el bautismo le fueron impuestos los nombres de Andrés Luis, que él mismo cambió por el de Miguel en 1747.