Corrects classification of approximable problems, some grammar and style fixes.