Comment by semigroupoid

All the names in point 8 are misspelled, that’s the point.