Fue llamado "Cráter 308" (y a veces aún se lo llama así), por su nombre temporal, antes de ser bautizado por la Unión Astronómica Internacional.