Minor fixes to the Markdown files