[minor] un po' di pulizia.