Aggiustate un paio di cose negli pseudo-codici