Small fixes.

@jhlch. Fixed some typos, formatting.