Minor typos.
Move grammar where it belongs.