Fixed minor typos in the grammar.