minor fixes: typo, code block formatting