Fixed some typos and a bug in the normalisation of GTE (there’s still something wrong…)