Formatting change only: improve GitHub-flavored Markdown.