Small fixes: typos, grammar, markup