Correzioni minori all'interprete.