Doc: fix some typos and formatting issues.