* correzione di errori minori
