pulito ancora un po' il codice della equals