Workaround formatting bug in GitHub's Markdown