He formed a committee of students, faculty members, and alumni to establish guidelines on renaming campus buildings. A report outlining the committee’s recommendations was released in December.
It should have been clear then, that the name was going to change.