La diferente grafía de uno y otro nombre sirve para diferenciar las dos estrellas.