corretto errore di battitura

ovviamente non urgente, giusto per non dimenticare di correggerlo