Modifiche minori

Piccole modifiche al codice