Fixed up the grammar and some examples