Docs: fix 1 typo; use <code> in 1 place