Fix grammatical mistakes; improve specifications