fix some typos; add a snippet
fix formatting