modificati al volo alcuni metodi per la serializzazione (da rivedere)