Either it is ok to change a street name and this should be considered on its merits, or its wrong to change a name and the street name should not have been changed in the 1950's and it should revert to the original name on principle. The students have a point either way.