filled out a couple missing bits, eliminated the text about special non-terminals