El nombre de Gore era el único incluido en la lista oficial de candidatos , por lo que esa propuesta fue una mera formalidad .