Un paio di piccole migliorie

Caro Pierlauro,
    giusto perché so che ti piace git, ti faccio una pull request, così pui "giocare" un po' con GitHub e git :)