typos and semplifications