Fix minor typos.
Revise to be more terse.