Correzioni minori al file.